Continuous-Time, Discrete-Event Simulation from Counting Processes

نویسنده

  • Andrew J. Dolgert
چکیده

A continuous-time, discrete-event (CTDE) simulation can be based on any one of a number of stochastic processes, including Generalized Semi-Markov Processes (GSMP) [Glynn 1989], Generalized Stochastic Petri Nets (GSPN) [Haas 2002], or chemical stochastic processes [Gillespie 2007] These processes vary in how they define state and how they specify the distribution of times at which each event will fire, but all of them have the remarkable property that the hazard rate of any event in a realization of the process will match the hazard rate of the distribution of times used to specify that event. In their work on chemical stochastic processes, Anderson and Kurtz [2015] offer a construction of a stochastic process which can serve as an alternative method of CTDE simulation. Because it uses counting processes as the basis for the construction, their work emphasizes the role of hazard rates in defining the process. As a result, certain forms of GSMP and GSPN, those which avoid use of immediate events and simultaneous events, could be considered subclasses for the purposes of computation. The formalism of counting processes also offers the algorithmic advantage of a clear separation between defining a transition kernel and sampling that kernel. Anderson and Kurtz present the more general stochastic process, here called competing clocks, as a step in derivation of stochastic processes for chemical simulation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Reduction of production disturbances of a shoemaking industry through a discrete event simulation approach

This study presents a reduction of production disturbances of a shoemaking industry through discrete event simulation approach. The study is conducted at Peacock Shoe factory found in Addis Ababa, Ethiopia.  This factory faces line balancing problem that becomes production disturbance for its assembly lines. Detail time study is carried out for the selected shoe model using stopwatch. Assembly ...

متن کامل

Productivity Improvement of BOB T-shirt through Line Balancing Using Control Limit analysis and discrete event simulation (Case study: - MAA Garment and Textile Factory)

 This study deals with line balancing of BOB T-shirt model with the help of control limit analysis and discrete event simulation of the assembly lines. In this study control limit analysis is used to measure the performance of the assembly line and used to show the bottleneck operations of the assembly line and line balancing technique improves the productivity of the sewing line of the model. ...

متن کامل

Performance Measurement and Improvement of Healthcare Service Using Discrete Event Simulation in Bahir Dar Clinic

This paper deals with the service performance analysis and improvement using discrete event simulation has been used. The simulation of the health care has been done by arena master development 14-version software. The performance measurement for this study are patients output, service rate, service efficiency and it is directly related to waiting time of patients in each service station, work ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016